Go-spaces and Noetherian Spectra
نویسنده
چکیده
The Noetherian type of a space is the least κ for which the space has a κop-like base, i.e., a base in which no element has κ-many supersets. We prove some results about Noetherian types of (generalized) ordered spaces and products thereof. For example: the density of a product of not-too-many compact linear orders never exceeds its Noetherian type, with equality possible only for singular Noetherian types; we prove a similar result for products of Lindelöf GO-spaces. A countable product of compact linear orders has an ω 1 -like base if and only if it is metrizable. (It is known that every metrizable space has an ωop-like base.) An infinite cardinal κ is the Noetherian type of a compact LOTS if and only if κ 6= ω1 and κ is not weakly inaccessible. There is a Lindelöf LOTS with Noetherian type ω1 and there consistently is a Lindelöf LOTS with weakly inaccessible Noetherian type.
منابع مشابه
Noncommutative Images of Commutative Spectra
We initiate a unified, axiomatic study of noncommutative algebras R whose prime spectra are, in a natural way, finite unions of commutative noetherian spectra. Our results illustrate how these commutative spectra can be functorially “sewn together” to form SpecR. In particular, we construct a bimodule-determined functor ModZ → ModR, for a suitable commutative noetherian ring Z, from which there...
متن کاملOrder-theoretic Properties of Bases in Topological Spaces I
We study some cardinal invariants of an order-theoretic fashion on products and box products of topological spaces. In particular, we concentrate on the Noetherian type (Nt), defined by Peregudov in the 1990s. Some highlights of our results include: (1) There are spaces X and Y such that Nt(X×Y ) < min{Nt(X), Nt(Y )}. (2) In several classes of compact spaces, the Noetherian type is preserved by...
متن کاملNoetherian Spaces in Verification
Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimulated the search for infinite procedures à la Karp-Miller.
متن کاملFabrication of Graphene Oxide Thin Films on Transparent Substrate via a Low-Voltage Electrodeposion Technique
Graphene oxide (GO) thin films were simply deposited on fluorine doped tin oxide (FTO) substrate via a low-voltage electrodeposition. The GO and GO thin films were characterized by Zeta Potential, X-ray diffraction, Ultraviolet-Visible spectroscopy, atomic force microscopy, Fourier transform infrared spectroscopy, field emission scanning electron microscopy and energy dispersive X-ray spectrosc...
متن کاملNoetherian Quasi-Polish spaces
In the presence of suitable power spaces, compactness ofX can be characterized as the singleton {∅} being open in the space A(X). Equivalently, this means that universal quantification over a compact space preserves open predicates. Using the language of represented spaces, one can make sense of notions such as a Σ 2 subset of the space of Σ 2 -subsets of a given space. This suggests higher-ord...
متن کامل